top_command (cmd_load currentFile [])
top_command (cmd_compute_toplevel DefaultCompute "zero")
top_command (cmd_compute_toplevel DefaultCompute "Nat")
